formal semantic model
英 [ˈfɔːml sɪˈmæntɪk ˈmɒdl]
美 [ˈfɔːrml sɪˈmæntɪk ˈmɑːdl]
【计】形式语义模型
双语例句
- The primary contents are summarized as follows: An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。 - According to the features of formal semantic network model and attribute grammars, the new model uses symbols of attribute grammars to establish grammar and semantic rule schema suitable for semantic networks, and implements the reasoning by the expanded attribute grammar interpreter.
根据形式化的语义网络表示模型和属性文法的特点，该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式，并且可通过扩充的属性文法的解释器来实现推理。 - A Formal Semantic Model Facing Object Language
一个面向对象语言的形式语义模型 - In this paper, according to the internal and international research development about formal semantic expression in existed digital right expression models, we give a new model that has some dynamic reasoning abilities and is based on the theory of finite automation.
该文的主要工作是依据国内外已有数字权限描述模型关于形式语义的研究进展，提出一种数字权限描述模型，该模型通过描述动作的状态及其变迁来表达数字权限证书动态语义。 - Formal Semantic of Architecture-Centric Component Model
以体系结构为中心的构件模型的形式化语义 - A Formal Semantic Study of the Work Flow Based on Activity Graph Model
基于活动图模型的工作流形式化语义研究 - It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.
总结了未来语义Web基础研究和应用研究的方向：语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信（Trust）与证据（Proof）模型的开发； - With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.
由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，被越来越广泛应用于工作流过程建模和流程优化。 - Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.
具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。 - Based on in-depth analysis of customer demand characteristics in MC environment, method of requirement elicitation, decomposition and conversion was proposed and a complete set of formal semantic model was built as well.
论文在深入分析MC环境客户需求特点的基础上，提出了客户需求获取分解及处理的方法并建立了一套完整的形式化需求语义模型。 - Many researchers believe that the current descriptions of high-level models of MDD are neither complete nor accurate for lacking understandable formal semantic meanings, which makes it difficult to achieve correct model transformations and code generations, and also leads to a very limited evaluation on transformation tools.
但在目前的MDD实现方法中，形式化语义的缺乏使得高层模型的描述还不够完备、精确，难以有效的支持模型转换和代码生成，也不能建立有效的评价和验证机制。